<?php
// $Id: search-theme-form.tpl.php,v 1.0 2008/06/14 10:10:00 hass Exp $
?>
<div id="search" class="container-inline">
<input type="text" name="search_theme_form" id="edit-search-theme-form-l" size="20" value="SEARCH" title="Enter the terms you wish to search for." class="form-text" />
<input id="searchimg" type="submit" alt="Go" name="op" value="GO!"  />
<input type="hidden" name="form_id" id="edit-search-theme-form" value="search_theme_form" />
<input type="hidden" name="form_token" id="a-unique-id" value="<?php print drupal_get_token('search_theme_form'); ?>" />
</div>